Every BCK-algebra is a set of residuables in an integral pomonoid
نویسندگان
چکیده
منابع مشابه
SOME QUOTIENTS ON A BCK-ALGEBRA GENERATED BY A FUZZY SET
First we show that the cosets of a fuzzy ideal μ in a BCK-algebraX form another BCK-algebra X/μ (called the fuzzy quotient BCK-algebra of X by μ). Also we show thatX/μ is a fuzzy partition of X and we prove several some isomorphism theorems. Moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition P of a commutative BCK-algebra iscompatible, then P is a fuzzy quo...
متن کاملEvery Graph Is an Integral Distance Graph in the Plane
We prove that every nite simple graph can be drawn in the plane so that any two vertices have an integral distance if and only if they are adjacent. The proof is constructive.
متن کاملDual Bck - Algebra and Mv - Algebra
The aim of this paper is to study the properties of dual BCK-algebra and to prove that the MV -algebra is equvalent to the bounded commutative dual BCK-algebra.
متن کاملsome quotients on a bck-algebra generated by a fuzzy set
first we show that the cosets of a fuzzy ideal μ in a bck-algebrax form another bck-algebra x/μ (called the fuzzy quotient bck-algebra of x by μ). also we show thatx/μ is a fuzzy partition of x and we prove several some isomorphism theorems. moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition p of a commutative bck-algebra iscompatible, then p is a fuzzy quo...
متن کاملFuzzy Filter Spectrum of a BCK Algebra
The notion of fuzzy s-prime filters of a bounded BCK-algebra is introduced.We discuss the relation between fuzzy s-prime filters and fuzzy prime filters. By the fuzzy s-prime filters of a bounded commutative BCK-algebra X, we establish a fuzzy topological structure on X. We prove that the set of all fuzzy s-prime filters of a bounded commutative BCK-algebra forms a topological space. Moreover, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1988
ISSN: 0021-8693
DOI: 10.1016/0021-8693(88)90065-8